منابع مشابه
Temporal and Modal Logic
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb
متن کاملModal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-or...
متن کاملLukasiewicz and Modal Logic
Lukasiewicz's four-valued modal logic is surveyed and analyzed.
متن کاملCoalgebras and Modal Logic
1 These lecture notes were written mainly during my stay as an ERCIM fellow at the Masaryk University, Brno, Czech Republic. I owe special thanks to Lubo s Brim, Ji r Rosick y, and the Faculty for Informatics. Preface These course notes present universal coalgebra as a general theory of systems. By`system' we understand some entity running in and communicating with an environment. We also assum...
متن کاملCoalgebras and Modal Logic
Coalgebras are of growing importance in theoretical computer science. To develop languages for them is significant for the speciication and veriication of systems modelled with them. Modal logic has proved to be suitable for this purpose. So far, most approaches have presented a language to describe only deterministic coalgebras. The present paper introduces a generalization that also covers no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1989
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635086